More from this Author

Introduction to Computation

by Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Foundations of Algebraic Specification and Formal Software Development

by Donald Sannella, Andrzej Tarlecki

Foundations of Algebraic Specification and Formal Software Development

by Donald Sannella, Andrzej Tarlecki